автоматический верификатор

автоматический верификатор
mechanical verifier

Русско-английский словарь по вычислительной технике и программированию . 2013.

Игры ⚽ Поможем решить контрольную работу

Look at other dictionaries:

  • автоматический верификатор — Схема обеспечения автоматического доказательства правильности программ. Включает генератор условий верификаций и блок доказательства теорем. [http://www.morepc.ru/dict/] Тематики информационные технологии в целом EN mechanical verifier …   Справочник технического переводчика

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”